Building and Deploying Visualizations of Coloured Petri Net Models Using BRITNeY Animation and CPN Tools
نویسندگان
چکیده
Abstract. The contribution of this paper is a tutorial in the use of BRITNeY animation tool together with CPN Tools to make different views on Coloured Petri Nets. Examples of such views are messagesequence charts, gantt-charts, or SceneBeans animations showing the state of the model. In this paper we will describe how to generate messagesequence charts from executions of Coloured Petri Nets and how to create SceneBeans animations.
منابع مشابه
Grade/CPN: Semi-automatic Support for Teaching Petri Nets by Checking Many Petri Nets Against One Specification
Grading dozens of Petri net models manually is a tedious and error-prone task. In this paper, we present Grade/CPN, a tool supporting the grading of Colored Petri nets modeled in CPN Tools. The tool is extensible, configurable, and can check static and dynamic properties. It automatically handles tedious tasks like checking that good modeling practise is adhered to, and supports tasks that are ...
متن کاملUsing Petri Nets for Modeling Enterprise Integration Patterns
Enterprise Integration Patterns are a collection of widely used patterns for integrating enterprise applications and business processes. These patterns informally represent typical design decisions for connecting enterprise applications. For the set of patterns collected by Hohpe and Woolf in “Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions” we presented ...
متن کاملGrade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching
Grading dozens of Petri net models manually is a tedious and error-prone task. In this paper, we present Grade/CPN, a tool supporting the grading of Colored Petri nets modeled in CPN Tools. The tool is extensible, configurable, and can check static and dynamic properties. It automatically handles tedious tasks like checking that good modeling practise is adhered to, and supports tasks that are ...
متن کاملAccess/CPN 2.0: A High-Level Interface to Coloured Petri Net Models
This paper introduces Access/CPN 2.0, which extends Access/CPN with high-level primitives for interacting with coloured Petri net (CPN) models in Java programs. The primitives allow Java programs to monitor and interact with places and transitions during execution, and embed entire programs as subpages of CPN models or embed CPN models as parts of programs. This facilitates building environment...
متن کاملFrom Real World Problems to Implementation Using Coloured Petri Nets and Translations Between Workflow Languages
This paper describes the BRITNeY suite, a tool which enables users to create visualizations of formal models. BRITNeY suite is integrated with CPN Tools, and we give an example of how to extend a simple stop-and-wait protocol with a visualization in the form of message sequence charts. We also show examples of animations created during industrial projects to give an impression of what is possib...
متن کامل